One of the new ways used by companies to demonstrate their social responsibility is to encourage employee volunteering, whereby employees engage in socially beneficial activities on company time, while being paid by the company. The reasoning is that it is good for employee motivation (internal effects) and good for the company reputation (external effects). This article reports an empirical investigation of the internal effects of employee volunteering conducted amongst employees of the Dutch ABN-AMRO bank. The study showed that (a) socio-demographic (...) characteristics from employee volunteers markedly differ from those of non-volunteers and community volunteers and (b) employee volunteering seems to have positive effects on attitudes and behavior towards the organization. (shrink)

One of the new ways used by companies to demonstrate their social responsibility is to encourage employee volunteering, whereby employees engage in socially beneficial activities on company time, while being paid by the company. The reasoning is that it is good for employee motivation (internal effects) and good for the company reputation (external effects). This article reports an empirical investigation of the internal effects of employee volunteering conducted amongst employees of the Dutch ABN-AMRO bank. The study showed that (a) socio-demographic (...) characteristics from employee volunteers markedly differ from those of non-volunteers and community volunteers and (b) employee volunteering seems to have positive effects on attitudes and behavior towards the organization. (shrink)

At the height of the COVID-19 crisis in the Netherlands a shortness of intensive care beds was looming. Dutch professional medical organizations asked a group of ethicists for assistance in drafting guidelines and criteria for selection of patients for intensive care treatment in case of absolute scarcity, when medical selection criteria would no longer suffice. This article describes the Dutch context, the process of drafting the advice and reflects on the role of ethicists and lessons learned. We argue that timely (...) interaction between clinical and ethical expertise is necessary since the distinction between medical and non-medical considerations is not as clearcut as sometimes assumed. Furthermore, pragmatic considerations related to the specifics of an epidemic are of importance, for example, in relation to prioritizing health care workers. As a consequence, any protocol already present before the pandemic would need alterations to fit the current situation. The ‘fair innings’ criterion we proposed, rephrased as an argument of intergenerational solidarity, was considered reasonable by professionals as well as patient organizations. While it is desirable to draft ethical guidelines in ‘peacetime’ as a matter of pandemic preparedness, the pressure of an actual crisis facilitates decision-making, although it will also complicate a more democratic approach. (shrink)

We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.

Solovay's 1976 completeness result for modal provability logic employs the recursion theorem in its proof. It is shown that the uses of the recursion theorem can in this proof replaced by the diagonalization lemma for arithmetic and that, in effect, the proof neatly fits the framework of another, enriched, system of modal logic so that any arithmetical system for which this logic is sound is strong enough to carry out the proof, in particular $\text{I}\Delta _{0}+\text{EXP}$ . The method is adapted (...) to obtain a similar completeness result for the Rosser logic. (shrink)

Honneth afirma que o léxico das palavras diagnóstico e patologia estão ligadas à medicina. Na área social, essas noções só podem ser interpretadas indiretamente, ou seja, através das narrativas literárias, do campo artístico e da cinematografia. O Observatório Global de Patologias Sociais propõe-se a superar esse déficit. Este artigo exibe não apenas a análise conceitual, mas também as percepções inovadoras oriundas de um questionário online. Foram três questões. Por um lado, trata-se de descrever uma conceptualização de patologia social. Por outro, (...) coletar sugestões para um instrumento empírico. Por fim, obter uma lista de patologias sociais. A análise demonstrou que há patologias restritas ao âmbito individual, enquanto outras são concernentes ao espaço coletivo. Nesse sentido, os efeitos e acometimentos também obedecem a categorias diferenciadas. Além do mais, aparecem percepções de patologias ligadas ao aspecto institucional, revelando uma preocupação com relação ao sistema social. Como conclusão, o texto sugere que a análise das patologias deve voltar-se à concretização social, institucional e histórica. Deste modo, os impulsos que, a princípio, eram tratados como subjetivos, individuais ou pessoais podem ser investigados como situações sociais coletivas e institucionais. (shrink)

A definition is given for formulae $A_1,\ldots,A_n$ in some theory $T$ which is formalized in a propositional calculus $S$ to be (in)dependent with respect to $S$. It is shown that, for intuitionistic propositional logic $\mathbf{IPC}$, dependency (with respect to $\mathbf{IPC}$ itself) is decidable. This is an almost immediate consequence of Pitts' uniform interpolation theorem for $\mathbf{IPC}$. A reasonably simple infinite sequence of $\mathbf{IPC}$-formulae $F_n(p, q)$ is given such that $\mathbf{IPC}$-formulae $A$ and $B$ are dependent if and only if at least (...) on the $F_n(A, B)$ is provable. (shrink)

The problem of Uniqueness and Explicit Definability of Fixed Points for Interpretability Logic is considered. It turns out that Uniqueness is an immediate corollary of a theorem of Smoryński.

To the standard propositional modal system of provability logic constants are added to account for the arithmetical fixed points introduced by Bernardi-Montagna in [5]. With that interpretation in mind, a system LR of modal propositional logic is axiomatized, a modal completeness theorem is established for LR and, after that, a uniform arithmetical completeness theorem with respect to PA is obtained for LR.

In recent years, to protect the rights and welfare of human subjects, institutions in the USA have begun to set up programmes to monitor ongoing medical research. These programmes provide routine, onsite oversight, and thus go beyond existing oversight such as investigating suspected misconduct or reviewing paperwork provided by investigators. However, because of a lack of guidelines and evidence, institutions have had little guidance in setting up their programmes. To help institutions make the right choices, we used interviews and document (...) analysis to study how and why 11 US institutions have set up their monitoring programmes. Although these programmes varied considerably, we were able to distinguish two general types. ‘Compliance’ programmes on the one hand were part of the institutional review board office and set up to ensure compliance with regulations. Investigators’ participation was mandatory. Monitors focused on documentation. Investigators could be disciplined, and could be obliged to take corrective actions. ‘Quality-improvement’ programmes on the other hand were part of a separate office. Investigators requested to be monitored. Monitors focused more on actual research conduct. Investigators and other parties received feedback on how to improve the research process. Although both types of programmes have their drawbacks and advantages, we argue that if institutions want to set up monitoring programmes, quality improvement is the better choice: it can help foster an atmosphere of trust between investigators and the institutional review board, and can help raise the standards for the protection of human subjects. (shrink)

Most models of patient-physician communication take decision-making as a central concept. However, we found that often the treatment course of metastatic cancer patients is not easy to describe in straightforward terms used in decision-making models but is instead frequently more erratic. Our aim was to analyse these processes as trajectories. We used a longitudinal case study of 13 patients with metastatic colorectal and pancreatic cancer for whom palliative chemotherapy was a treatment option, and analysed 65 semi-structured interviews. We analysed three (...) characteristics of the treatment course that contributed to the ‘erraticness’ of the course: (1) The treatment (with or without chemotherapy) contained many options; (2) these options were not stable entities to be decided upon, but changed identity over the course of treatment, and (3) contrary to the closure (option X means no option Y, Z, etc.) a decision implies, the treatment course was a continuous process in which options instead remained open. When the treatment course is characterised by these many and changeable options that do not result in closure, the shared decision-making model should take these into account. More attention needs to be paid to the erratic character of the process in which the doctor has to provide continuous information that is related to the changing situation of the patient; also, flexibility in dealing with protocols is warranted, as is vigilance about the overall direction of the process. (shrink)

Standard unary modal logic and binary modal logic, i.e. modal logic with one binary operator, are shown to be definitional extensions of one another when an additional axiom |$U$| is added to the basic axiomatization of the binary side. This is a strengthening of our previous results. It follows that all unary modal logics extending Classical Modal Logic, in other words all unary modal logics with a neighborhood semantics, can equivalently be seen as binary modal logics. This in particular applies (...) to standard modal logics, which can be given simple natural axiomatizations in binary form. We illustrate this in the logic K. We call such logics binary expansions of the unary modal logics. There are many more such binary expansions than the ones given by the axiom |$U$|⁠. We initiate an investigation of the properties of these expansions and in particular of the maximal binary expansions of a logic. Our results directly imply that all sub- and superintuitionistic logics with a standard modal companion also have binary modal companions. The latter also applies to the weak subintuitionistic logic WF of our previous papers. This logic doesn’t seem to have a unary modal companion. (shrink)

It is shown that for arithmetical interpretations that may include free variables it is not the Guaspari-Solovay system R that is arithmetically complete, but their system R⁻. This result is then applied to obtain the nonvalidity of some rules under arithmetical interpretations including free variables, and to show that some principles concerning Rosser orderings with free variables cannot be decided, even if one restricts onself to "usual" proof predicates.

This first chapter contains an introduction to modal logic. In section 1.1 the syntactic side of the matter is discussed, and in section 1.2 the subject is approached from a semantic point of view.

In 1995 Visser, van Benthem, de Jongh, and Renardel de Lavalette introduced NNIL-formulas, showing that these are exactly the formulas preserved under taking submodels of Kripke models. In this article we show that NNIL-formulas are up to frame equivalence the formulas preserved under taking subframes of frames, that NNIL-formulas are subframe formulas, and that subframe logics can be axiomatized by NNIL-formulas. We also define a new syntactic class of ONNILLI-formulas. We show that these are the formulas preserved in monotonic images (...) of frames and that ONNILLI-formulas are stable formulas as introduced by Bezhanishvili and Bezhanishvili in 2013. Thus, ONNILLI is a syntactically defined set of formulas axiomatizing all stable logics. This resolves a problem left open in 2013. (shrink)

We give a systematic method of constructing extensions of the Kuznetsov-Gerčiu logic KG without the finite model property (fmp for short), and show that there are continuum many such. We also introduce a new technique of gluing of cyclic intuitionistic descriptive frames and give a new simple proof of Gerčiu’s result [9, 8] that all extensions of the Rieger-Nishimura logic RN have the fmp. Moreover, we show that each extension of RN has the poly-size model property, thus improving on [9]. (...) Furthermore, for each function f: omega -> omega, we construct an extension Lf of KG such that Lf has the fmp, but does not have the f-size model property. We also give a new simple proof of another result of Gerčiu [9] characterizing the only extension of KG that bounds the fmp for extensions of KG. We conclude the paper by proving that RN.KC = RN + (¬p vee ¬¬p) is the only pre-locally tabular extension of KG, introduce the internal depth of an extension L of RN, and show that L is locally tabular if and only if the internal depth of L is finite. (shrink)

We give alternative characterizations of exact, extendible and projective formulas in intuitionistic propositional calculus IPC in terms of n-universal models. From these characterizations we derive a new syntactic description of all extendible formulas of IPC in two variables. For the formulas in two variables we also give an alternative proof of Ghilardi’s theorem that every extendible formula is projective.

In this paper the system IL for relative interpretability is studied.

Background In the ethical and clinical literature, cases of parents who want treatment for their child to be withdrawn against the views of the medical team have not received much attention. Yet resolution of such conflicts demands much effort of both the medical team and parents. Objective To discuss who can best protect a child9s interests, which often becomes a central issue, putting considerable pressure on mutual trust and partnership. Methods We describe the case of a 3-year-old boy with acquired (...) brain damage due to autoimmune-mediated encephalitis whose parents wanted to stop treatment. By comparing this case with relevant literature, we systematically explored the pros and cons of sharing end-of-life decisions with parents in cases where treatment is considered futile by parents and not (yet) by physicians. Conclusions Sharing end-of-life decisions with parents is a more important duty for physicians than protecting parents from guilt or doubt. Moreover, a request from parents on behalf of their child to discontinue treatment is, and should be, hard to over-rule in cases with significant prognostic uncertainty and/or in cases with divergent opinions within the medical team. (shrink)

In this paper, we study IL(), the interpretability logic of . As is neither an essentially reflexive theory nor finitely axiomatizable, the two known arithmetical completeness results do not apply to : IL() is not or . IL() does, of course, contain all the principles known to be part of IL, the interpretability logic of the principles common to all reasonable arithmetical theories. In this paper, we take two arithmetical properties of and see what their consequences in the modal logic (...) IL() are. These properties are reflected in the so-called Beklemishev Principle , and Zambella’s Principle , neither of which is a part of IL. Both principles and their interrelation are submitted to a modal study. In particular, we prove a frame condition for . Moreover, we prove that follows from a restricted form of . Finally, we give an overview of the known relationships of IL() to important other interpretability principles. (shrink)

This paper contains a completeness proof for the system ILW, a rather bewildering axiom system belonging to the family of interpretability logics. We have treasured this little proof for a considerable time, keeping it just for ourselves. Johan’s ftieth birthday appears to be the right occasion to get it out of our wine cellar.

Semantic Automata Johan van Ben them. INTRODUCTION An attractive, but never very central idea in modern semantics has been to regard linguistic expressions ...

We study the modal properties of intuitionistic modal logics that belong to the provability logic or the preservativity logic of Heyting Arithmetic. We describe the □-fragment of some preservativity logics and we present fixed point theorems for the logics iL and iPL, and show that they imply the Beth property. These results imply that the fixed point theorem and the Beth property hold for both the provability and preservativity logic of Heyting Arithmetic. We present a frame correspondence result for the (...) preservativity principle Wp that is related to an extension of Löb's principle. (shrink)

The analysis of penalty kick has played an important role in performance analysis. The study aims are to get formal feedback on the relevance of variables for penalty kick analysis, to design and validate an observational system; and to assess experts’ opinion on the optimum video footage in penalty kick analysis. A structured development process was adopted for content validity, reliability and agreement on video usage. All observational variables included in OSPAF showed Aiken’s V values above the cut-off. Cohen’s Kappa (...) resulted in mean intra- and inter-rater reliability values of 0.90 and 0.86, respectively. It is recommended to combine at least three different viewing angles with standardization of video quality. Changing the viewing angles may influence the observer perception. The aerial and pitch-level viewing angle behind the penalty taker and pitch-level viewing angle behind the goalkeeper were indicated as most appropriate for observational analysis. The OSPAF met all requirements of instrument validation. It may be recommended as basis of future observational systems on penalty kicks. (shrink)

In a century where humans and machines—powered by artificial intelligence or not—increasingly work together, it is of interest to understand human processing of multi-sensory stimuli in relation to attention and working memory. This paper explores whether and when supporting visual information with rhythmic auditory stimuli can optimize multi-sensory information processing. In turn, this can make the interaction between humans or between machines and humans more engaging, rewarding and activating. For this purpose a novel working memory paradigm was developed where participants (...) are presented with a series of five target digits randomly interchanged with five distractor digits. Their goal is to remember the target digits and recall them orally. Depending on the condition support is provided by audio and/or rhythm. It is expected that the sound will lead to a better performance. It is also expected that this effect of sound is different in case of rhythmic and non-rhythmic sound. Last but not least, some variability is expected across participants. To make correct conclusions, the data of the experiment was statistically analyzed in a classic way, but also predictive models were developed in order to predict outcomes based on a range of input variables related to the experiment and the participant. The effect of auditory support could be confirmed, but no difference was observed between rhythmic and non-rhythmic sounds. Overall performance was indeed affected by individual differences, such as visual dominance or perceived task difficulty. Surprisingly a music education did not significantly affect the performance and even tended toward a negative effect. To better understand the underlying processes of attention, also brain activation data, e.g., by means of electroencephalography, should be recorded. This approach can be subject to a future work. (shrink)

We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.

RESUMO O pensamento de Bakhtin, dos primeiros e dos últimos textos, se concentrou nas imagens do corpo humano. Entende-se o corpo ao contemplá-lo: ver é saber. Esse “contemplar” não tem nenhuma das qualidades objetivantes do que hoje é conhecido como “olhar”. A filosofia inicial de Bakhtin é baseada em um compromisso compassivo pelo qual uma pessoa ajuda a outra a ver e a se conhecer como um todo e, além disso, como um todo amado. Por mais limitante que seja, argumentarei (...) que sua concepção inicial de corpo ainda tem muito valor. O argumento então se volta para as imagens posteriores e muito mais familiares de Bakhtin sobre o corpo grotesco. Enquanto, inicialmente, suas ideias voltam-se para um corpo estático, agora vemos o corpo envolvido em uma interação tumultuada e interminável com seu ambiente social e natural. Seria essa uma alegoria antissoviética ou uma visão alternativa do corpo humano que remonta à pré-história? Ofereço duas ilustrações em defesa da ideia de que esta era, na verdade, uma filosofia do corpo. ABSTRACT Bakhtin's thinking, early and late focused upon images of the human body. A body is a thing understood by looking at it: to see is to know. This 'looking' has nothing of the objectivising qualities of what is known today as the 'gaze'. Bakhtin's early philosophy is based on a compassionate engagement whereby one person helps another see and know themselves as a whole, and moreover, as a loved whole. As limiting as it is, I shall argue his early conception of the body still has much value. The argument then turns to Bakhtin's later and much more familiar images of the grotesque body. While his early body is static, now we see the body engaged in a tumultuous and unending interaction with its social and natural environment. Was this an anti-Soviet allegory, or an alternative vision of the human body that reaches back into pre-history? I offer two illustrations in defence of the idea that this was indeed a philosophy of the body. (shrink)